Formal System Having Just One Primitive Notion
نویسندگان
چکیده
منابع مشابه
Convergence in formal topology: a unifying notion
Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that open subsets are closed under finite intersections. We introduce a general notion of convergence of which any previous definition is a special case. This leads to a predicative presentation and inductive generation of ...
متن کاملOrthogonality as single primitive notion for metric planes
We provide a first order axiomatization for Bachmann’s metric planes in terms of points and the ternary relation ⊥ with ⊥ (abc) to be read as ‘a, b, c are the vertices of a right triangle with right angle at a’. The axioms can be chosen to be ∀∃-statements.
متن کاملForbidding Just One Intersection
Following a conjecture of P. Erdos, we show that if 9 is a family of k-subsets of an n-set no two of which intersect in exactly I elements then for k 2 21+ 2 and n sufficiently large IF:/ < (;:‘,I:) with equality holding if and only if 9 consists of all the k-sets containing a fixed (I+ I)-set. In general we show 19) <dknmax(‘.k-‘-l), where dk is a constant depending only on k. These results ar...
متن کاملJust One Brain Activity
The term brain activity refers to a wide range of mental faculties that can be assessed either on anatomical/functional micro-, mesoand macrospatiotemporal scales of observation, or on intertwined levels with mutual interactions. Here we show, based on novel topological findings, how every brain activity encompassed in a given anatomical or functional level necessarily displays a counterpart in...
متن کاملPrey-Predator System; Having Stable Periodic Orbit
The study of differential equations is useful in to analyze the possible past or future with help of present information. In this paper, the behavior of solutions has been analyzed around the equilibrium points for Gause model. Finally, some results are worked out to exist the stable periodic orbit for mentioned predator-prey system.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nagoya Mathematical Journal
سال: 1966
ISSN: 0027-7630,2152-6842
DOI: 10.1017/s0027763000023953